541. Systems programming in parallel logic languages
پدیدآورنده : / Ian Foster
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Systems programming (Computer science),Parallel processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
542. Systems programming in parallellogic languages
پدیدآورنده : / Ian Foster,Foster
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Systems programming (Computer science),Parallel Processing (Electronic computers)
رده :
QA
76
.
66
.
F67
1990
543. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
پدیدآورنده : J. Diaz, F. Orejas )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
351-352
544. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
545. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
546. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
547. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
548. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
549. The Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
550. The computer comes of age :
پدیدآورنده : R. Moreau ; translated by J. Howlett
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers-- History,Programming languages (Electronic computers)-- History
رده :
QA76
.
17
.
M6713
1984
551. The definition of programming languages /
پدیدآورنده : Andrew D. McGettrick
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
M28
552. The design and analysis of computer algorithms /
پدیدآورنده : Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36
553. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
554. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
555. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
556. The programming language landscape
پدیدآورنده : / Henry Ledgard, Michael Marcotty
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Programming languages (Electronic computers)
رده :
QA
76
.
7
.
L44
1981
557. The school of Niklaus Wirth : the art of simplicity
پدیدآورنده : Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
756
.
S3
558. The secret life of programs :
پدیدآورنده : by Jonathan E. Steinhart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Browsers (Computer programs),Computer programming.,Programming languages (Electronic computers),Browsers (Computer programs),Computer programming.,COMPUTERS-- Computer Science.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
S735
2019
559. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
560. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
